Some Implicational Semilinear Gaggle Logics: (Dual) Residuated-Connected Logics

نویسندگان

چکیده

Implicational partial Galois logics and some of their semilinear extensions, such as extensions satisfying abstract dual connection properties, have been introduced together with relational semantics. However, similar residuated, residuated properties not. This paper fills the gaps by introducing those To this end, class implicational (dual) residuated-connected prelinear gaggle is defined it verified that these are semilinear. In particular, associated contribution work, we note following two: One implications can be in logics. shows important so need to investigated The other set-theoretic semantics provided for Semilinear dealt extensively algebraic context, whereas they not yet performed one.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Abstract Approach to Fuzzy Logics: implicational semilinear logics

This paper presents a new abstract framework to deal in a uniform way with the increasing variety of fuzzy logics studied in the literature. By means of notions and techniques from Abstract Algebraic Logic, we perform a study of non-classical logics based on the kind of generalized implication connectives they possess. It yields the new hierarchy of implicational logics. In this framework the n...

متن کامل

Implicational (semilinear) logics I: a new hierarchy

In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this process one considers the Leibniz relation of indiscernible formulae. Such approach has resulted in a classification of logics partly based on generalizations of equivalence connectives: the Leibniz hierarchy. This paper p...

متن کامل

A hierarchy of implicational (semilinear) logics: the propositional case

In Abstract Algebraic Logic the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this kind of process one considers the Leibniz relation of indiscernible, i.e. logically equivalent, formulae. Such approach has resulted in a classification of logics partly based on generalizations of equivalence connectives: ...

متن کامل

Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity

This is the continuation of the paper [4]. We continue the abstract study of non-classical logics based on the kind of generalized implication connectives they possess and we focus on semilinear logics, i.e. those that are complete with respect to the class of models where the implication defines a linear order. We obtain general characterizations of semilinearity in terms of the intersection-p...

متن کامل

Implicational F-Structures and Implicational Relevance Logics

We describe a method for obtaining classical logic from intuitionistic logic which does not depend on any proof system, and show that by applying it to the most important implicational relevance logics we get relevance logics with nice semantical and proof-theoretical properties. Semantically all these logics are sound and strongly complete relative to classes of structures in which all element...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Axioms

سال: 2022

ISSN: ['2075-1680']

DOI: https://doi.org/10.3390/axioms11040183